Six lectures on algebraic theory of automata
نویسندگان
چکیده
Introduction . 1 Lecture 1. Seraiautomata and Automata . , 3 Lecture 2. Coverings and Homomorphisms of Automata 8 Lecture 3. Covering by Direct and Cascade Products of Semiautomata 15 Lecture 4. Permutation and Reset Semiautomata 24 Lecture 5. The Structure Theorem of Krohn and Rhodes . . . .31 Lecture 6. The Necessity of Certain Components in a Cascade Product Covering of a Semiautomaton . . .45 Bibliography 57
منابع مشابه
SOME HYPER K-ALGEBRAIC STRUCTURES INDUCED BY MAX-MIN GENERAL FUZZY AUTOMATA
We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...
متن کاملOn the Farrell-jones and Related Conjectures
These extended notes are based on a series of six lectures presented at the summer school “Cohomology of groups and algebraic K-theory” which took place in Hangzhou, China from July 1 until July 12 in 2007. They give an introduction to the Farrell-Jones and the Baum-Connes Conjecture.
متن کاملThree Lectures on Automatic Structures
This paper grew out of three tutorial lectures on automatic structures given at the Logic Colloquium 2007 in Wroc law (Poland). The paper will follow the outline of the tutorial lectures, supplementing some material along the way. We discuss variants of automatic structures related to several models of computation: word automata, tree automata, Büchi automata, and Rabin automata. Word automata ...
متن کاملAutomata and semigroups recognizing infinite words
This paper is a survey on the algebraic approach to the theory of automata accepting infinite words. We discuss the various acceptance modes (Büchi automata, Muller automata, transition automata, weak recognition by a finite semigroup, ω-semigroups) and prove their equivalence. We also give two algebraic proofs of McNaughton’s theorem on the equivalence between Büchi and Muller automata. Finall...
متن کاملRings of Singularities
This paper is a slightly revised version of an introduction into singularity theory corresponding to a series of lectures given at the ``Advanced School and Conference on homological and geometrical methods in representation theory'' at the International Centre for Theoretical Physics (ICTP), Miramare - Trieste, Italy, 11-29 January 2010. We show how to associate to a triple of posit...
متن کامل